int large_w_60_sized_cliques[][N] = {
	{ 7  ,0,20,116,194,264,354,594 },  /* w=61 */
	{ 7  ,0,20,116,264,270,272,402 },  /* w=60 */
	{ 7  ,0,20,116,264,270,272,462 },  /* w=60 */
	{ 7  ,1,9,236,290,356,468,552 },  /* w=60 */
	{ 7  ,1,81,127,202,226,266,531 },  /* w=60 */
	{ 7  ,1,127,202,226,266,468,531 },  /* w=63 */
	{ 7  ,1,148,229,323,531,542,555 },  /* w=64 */
	{ 7  ,1,202,291,330,340,533,555 },  /* w=60 */
	{ 7  ,2,96,155,172,269,330,365 },  /* w=61 */
	{ 7  ,4,96,262,283,497,561,574 },  /* w=63 */
	{ 7  ,5,84,348,409,428,490,499 },  /* w=63 */
	{ 7  ,5,114,124,189,194,344,365 },  /* w=63 */
	{ 7  ,5,158,188,297,446,479,503 },  /* w=62 */
	{ 7  ,5,167,344,365,446,479,574 },  /* w=60 */
	{ 8  ,5,167,365,368,446,479,540,574 },  /* w=66 */
	{ 7  ,5,365,368,446,479,540,574 },  /* w=63 */
	{ 7  ,9,58,133,275,370,453,542 },  /* w=60 */
	{ 7  ,9,90,226,291,389,401,440 },  /* w=61 */
	{ 7  ,9,90,272,291,389,401,440 },  /* w=61 */
	{ 7  ,9,90,344,364,382,398,564 },  /* w=60 */
	{ 7  ,9,90,344,382,398,401,564 },  /* w=63 */
	{ 7  ,9,133,208,297,301,396,523 },  /* w=60 */
	{ 7  ,9,170,208,297,301,396,523 },  /* w=60 */
	{ 7  ,9,170,251,288,297,396,523 },  /* w=60 */
	{ 7  ,9,170,251,297,396,401,523 },  /* w=62 */
	{ 7  ,9,284,291,330,548,559,587 },  /* w=62 */
	{ 7  ,9,284,291,330,548,559,588 },  /* w=61 */
	{ 7  ,9,284,291,330,558,559,587 },  /* w=62 */
	{ 7  ,9,291,313,330,340,559,587 },  /* w=64 */
	{ 8  ,12,116,159,244,245,398,423,478 },  /* w=62 */
	{ 7  ,15,70,206,264,347,533,551 },  /* w=60 */
	{ 7  ,15,70,264,347,488,533,551 },  /* w=61 */
	{ 7  ,15,264,347,488,533,551,578 },  /* w=61 */
	{ 7  ,20,63,79,264,283,384,520 },  /* w=60 */
	{ 8  ,20,73,107,120,280,432,480,551 },  /* w=63 */
	{ 8  ,20,116,249,264,333,364,398,402 },  /* w=60 */
	{ 8  ,20,134,196,339,348,354,444,479 },  /* w=60 */
	{ 7  ,20,194,264,269,347,458,515 },  /* w=62 */
	{ 7  ,20,199,264,347,458,488,494 },  /* w=61 */
	{ 7  ,20,264,306,347,358,420,458 },  /* w=60 */
	{ 7  ,20,264,306,347,458,488,494 },  /* w=60 */
	{ 7  ,20,264,347,488,523,551,578 },  /* w=65 */
	{ 7  ,20,280,347,480,488,551,578 },  /* w=61 */
	{ 9  ,23,128,242,354,374,465,479,588,594 },  /* w=65 */
	{ 8  ,23,128,242,354,374,479,588,594 },  /* w=61 */
	{ 7  ,24,59,152,219,269,533,542 },  /* w=61 */
	{ 8  ,28,75,118,213,374,407,490,575 },  /* w=60 */
	{ 8  ,31,54,92,184,348,453,479,548 },  /* w=63 */
	{ 7  ,31,54,184,348,453,479,548 },  /* w=60 */
	{ 7  ,46,133,208,347,416,458,599 },  /* w=60 */
	{ 8  ,46,196,216,264,297,307,378,407 },  /* w=62 */
	{ 7  ,47,52,119,266,304,425,475 },  /* w=61 */
	{ 7  ,52,102,120,152,244,264,348 },  /* w=63 */
	{ 7  ,52,102,120,152,244,348,499 },  /* w=62 */
	{ 7  ,54,120,184,348,453,479,548 },  /* w=62 */
	{ 8  ,55,102,131,152,293,333,500,551 },  /* w=62 */
	{ 8  ,57,171,191,306,347,401,408,435 },  /* w=62 */
	{ 7  ,58,181,284,291,348,425,517 },  /* w=64 */
	{ 7  ,60,122,251,291,401,497,528 },  /* w=60 */
	{ 7  ,62,133,142,173,400,416,587 },  /* w=62 */
	{ 7  ,63,79,99,264,283,520,568 },  /* w=62 */
	{ 8  ,70,108,212,284,293,330,548,588 },  /* w=64 */
	{ 7  ,70,108,284,293,330,548,588 },  /* w=61 */
	{ 8  ,70,108,293,330,343,514,548,588 },  /* w=62 */
	{ 7  ,72,196,266,304,361,479,512 },  /* w=60 */
	{ 7  ,79,99,194,264,283,520,568 },  /* w=62 */
	{ 7  ,84,143,293,298,348,356,432 },  /* w=60 */
	{ 7  ,90,175,226,291,400,401,440 },  /* w=62 */
	{ 7  ,96,173,184,208,579,587,598 },  /* w=60 */
	{ 7  ,99,116,183,264,358,372,462 },  /* w=61 */
	{ 7  ,99,198,340,358,372,416,458 },  /* w=60 */
	{ 7  ,102,116,124,183,264,372,450 },  /* w=60 */
	{ 7  ,102,116,124,183,264,372,462 },  /* w=61 */
	{ 7  ,102,152,293,344,348,499,510 },  /* w=60 */
	{ 7  ,102,264,269,379,458,462,497 },  /* w=62 */
	{ 8  ,103,142,146,236,303,401,535,565 },  /* w=64 */
	{ 7  ,108,284,291,293,330,548,588 },  /* w=61 */
	{ 7  ,112,178,181,217,234,419,425 },  /* w=60 */
	{ 8  ,116,159,244,245,249,364,398,478 },  /* w=61 */
	{ 7  ,127,132,235,242,354,398,578 },  /* w=62 */
	{ 7  ,127,186,226,291,313,347,458 },  /* w=61 */
	{ 7  ,127,198,208,213,347,447,458 },  /* w=60 */
	{ 7  ,128,239,304,356,358,479,512 },  /* w=60 */
	{ 8  ,128,242,354,374,465,479,588,594 },  /* w=60 */
	{ 7  ,131,148,219,409,453,460,542 },  /* w=60 */
	{ 7  ,133,279,313,347,425,428,587 },  /* w=64 */
	{ 7  ,137,148,208,219,453,460,542 },  /* w=66 */
	{ 7  ,137,148,219,409,453,460,542 },  /* w=63 */
	{ 8  ,142,236,303,401,454,535,552,565 },  /* w=64 */
	{ 7  ,148,239,282,304,313,356,358 },  /* w=60 */
	{ 7  ,152,179,284,291,330,561,574 },  /* w=62 */
	{ 7  ,152,284,291,293,330,348,548 },  /* w=61 */
	{ 7  ,155,160,236,332,420,436,556 },  /* w=62 */
	{ 7  ,155,196,265,266,302,304,530 },  /* w=60 */
	{ 7  ,155,251,269,304,425,462,497 },  /* w=60 */
	{ 7  ,155,269,330,365,374,398,462 },  /* w=61 */
	{ 7  ,239,302,304,356,358,458,512 },  /* w=62 */
	{ 7  ,239,304,313,338,358,458,512 },  /* w=60 */
	{ 7  ,239,304,313,356,358,458,512 },  /* w=62 */
	{ 8  ,284,291,330,443,546,558,559,587 },  /* w=62 */
	{ 7  ,304,306,313,356,358,458,512 },  /* w=61 */
	{ 0 }
};

